1. Automata for branching and layered temporal structures: an investigation into regularities of infinite transition systems

Author:

Library: Central Library and Documentation Center (Kerman)

Subject: ، Machine theory,، Computer science,، Software engineering,، Computer software,، Logic design,، Artificial intelligence

Classification :
QA
267
.
P87
2010
مشاهده در قفسه مجازی RIS Bibtex ISO

2. Implementation and Application of Functional Languages

Author:

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Artificial intelligence.,Computer science.,Logic design.,Software engineering.

RIS Bibtex ISO

3. Implementation and Application of Functional Languages

Author:

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Artificial intelligence.,Computer science.,Logic design.,Software engineering.

RIS Bibtex ISO

4. Logic-Based Program Synthesis and Transformation

Author:

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Algorithms.,Artificial intelligence.,Computer science.,Logic design.,Software engineering.

RIS Bibtex ISO

5. Multiagent System Technologies

Author:

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Artificial intelligence.,Computer networks.,Computer science.,Logic design.,Software engineering.

RIS Bibtex ISO